La presente nota crítica tiene como finalidad exponer y comentar las ideas fundamentales de la edición española del primer escrito de Jacques Derrida, El problema de la génesis en la filosofía de Husserl. Asimismo, hacemos algunas aclaraciones sobre el origen y significado de este escrito. Al concluir, añadimos algunas observaciones sobre la traducción y sobre el estudio final del editor y traductor Javier Bassas Vila sobre la filosofía del joven Derrida.

Este artículo fue publicado originalmente como Jean Héring. De Max Scheler à Hans Reiner. Remarques sur la théorie des valeurs morales dans le mouvement phénoménologique. Revue d'histoire et de philosophie religieuses, 40, 152-164. Agradecemos a Matthieu Arnold, directeur Revue d'histoire et de philosophie religieuses, por la autorización para la publicación de esta traducción. La presente traducción toma como fuente original francesa citada en el párrafo anterior. Las notas del traductor se introducen con un *. Las notas del autor —Jean (...) Héring— siguen el orden de numeración del texto original en numeración arábica. Un agradecimiento especial a Paloma Vicente por las correcciones y sugerencias de traducción. (shrink)

Jean Hering, miembro del Círculo fenomenológico de Gotinga, fue uno de los primeros estudiantes de Husserl en llegar a Francia y exponer la fenomenología en aquel país. Por su parte, León Chestov publicaba en Francia una de las primeras críticas a la fenomenología y denunciaba el olvido del valor de la existencia y la vida. Entre ambos autores se despliega un debate fecundo en torno a la interpretación y aplicación del método fenomenológico. El presente estudio tiene la intención de exponer (...) y detallar,por un lado, el contenido de la crítica de la fenomenología de Chestov y, por otro lado, la respuesta defensiva de Hering, las cuales dieron lugar, durante la primera mitad del siglo XX, al primer debate francés sobre la filosofía husserliana. (shrink)

Este artículo es una respuesta a la crítica de Noé Expósito Ropero —que se basa en gran medida en la visión de Javier San Martín— a mi interpretación de la filosofía de José Ortega y Gasset. El resultado del argumento de Expósito Ropero es que Ortega es más fenomenólogo de lo que yo considero, que me equivoco al pen-sar que existen los “objetos reales” más allá de los objetos intencionales de Edmund Husserl, y que ningún objeto inanimado puede ser tratado (...) como un “yo”. Como réplica, respondo a cada una de estas acusaciones.This article is a response to Noé Expósito Ropero’s critique—which draws heavily on the views of Javier San Martín—of my interpretation of the philosophy of José Ortega y Gasset. The upshot of Expósito Ropero’s argument is that Ortega is more of a phenomenologist than I realize, that I am wrong to think there is any such thing as “real objects” beyond Edmund Husserl’s intentional objects, and that no inanimate object can be treated as an “I.” In response, I answer each of these charges. (shrink)

Este artículo examina críticamente la reciente traducción e interpretación de la Ética a Nicómaco hecha por S. Rus Rufino y J.E. Meabe. El autor argumenta en contra de la interpretación general provista por los traductores y señala lo que considera que son errores fundamentales de interpretación del texto griego y del argumento general de Aristóteles que se sigue de dicha interpretación. This paper examines critically the recent translation and interpretation of Aristotle's Nicomachean Ethics done by S. Rus Rufino and J.E. (...) Meabe. The author argues against the general view provided by the translators, pointing out what he takes to be fundamental mistakes in the interpretation both of the Greek text and of Aristotle's general argument. (shrink)

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

Nesta entrevista, conduzida por Gonçalo Marcelo e Maria Luísa Portocarrero, Daniel Frey, professor de filosofia da religião na Universidade de Estrasburgo e Presidente do Conselho Científico do Fonds Ricoeur, apresenta alguns aspetos centrais da sua investigação filosófica, do seu desenvolvimento intelectual e das atividades desenvolvidas no Fonds Ricoeur. Daniel Frey expõe a sua teoria hermenêutica da leitura, influenciada por Gadamer e Ricoeur, mostrando a especificidade da abordagem hermenêutica da leitura. Na entrevista, o autor também explora a importância da filosofia (...) do jovem Ricoeur dos anos 1950‑1960, e a evolução da relação entre filosofia e religião em Ricoeur. Fazendo uma breve descrição do estatuto das obras que se tornam “clássicas” e dos projetos recentes do Fonds Ricoeur, como a digitalização dos arquivos de Ricoeur, esta entrevista de Daniel Frey mostra‑nos até que ponto o trabalho de Ricoeur se encontra hoje aberto a novas leituras e interpretações. (shrink)

Robert Brandom propõe um modelo de interação social no qual defende que as atitudes práticas dos usuários da linguagem instituem os conteúdos semânticos e as normas inferenciais que determinam seus usos. Assim, o que ele descreve é uma prática linguística, caracterizado por asserções, que mostra como as atitudes dos agentes, diante das asserções sendo produzidas e consumidas, devem ser entendidas para que instituam conteúdos inferencialmente articulados. Ademais, Brandom relaciona a prática assertiva e o entendimento inferencial do conteúdo semântico a um (...) paradigma racionalista, sugerindo que os conteúdos que aparecem em asserções são aquilo que podem ser oferecidos ou exigidos, dentro da prática de uso da linguagem, como razões. Considerando estas ideias, o objetivo deste trabalho é desenvolver e relacionar os conceitos de "asserção", "inferência" e "razão", tais como Brandom os compreende. (shrink)

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and (...) offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses the history of paraconsistent logic; language, negation, contradiction, consistency and inconsistency; logics of formal inconsistency and the main paraconsistent propositional systems; many-valued companions, possible-translations semantics and non-deterministic semantics; paraconsistent modal logics; first-order paraconsistent logics; applications to information processing, databases and quantum computation; and applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

This paper investigates the question of characterizing first-order LFIs (logics of formal inconsistency) by means of two-valued semantics. LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational questions. Although focused on just one particular case, namely, the quantified logic QmbC, the method proposed here is completely general for this kind of logics, and can be easily extended to a large family of quantified paraconsistent (...) logics, supplying a sound and complete semantical interpretation for such logics. However, certain subtleties involving term substitution and replacement, that are hidden in classical structures, have to be taken into account when one ventures into the realm of nonclassical reasoning. This paper shows how such difficulties can be overcome, and offers detailed proofs showing that a smooth treatment of semantical characterization can be given to all such logics. Although the paper is well-endowed in technical details and results, it has a significant philosophical aside: it shows how slight extensions of classical methods can be used to construct the basic model theory of logics that are weaker than traditional logic due to the absence of certain rules present in classical logic. Several such logics, however, as in the case of the LFIs treated here, are notorious for their wealth of models precisely because they do not make indiscriminate use of certain rules; these models thus require new methods. In the case of this paper, by just appealing to a refined version of the Principle of Explosion, or Pseudo-Scotus, some new constructions and crafty solutions to certain non-obvious subtleties are proposed. The result is that a richer extension of model theory can be inaugurated, with interest not only for paraconsistency, but hopefully to other enlargements of traditional logic. (shrink)

Derek Parfit, who died in 2017, is widely believed to have been the best moral philosopher in well over a century. The twenty new essays in this book were written in his honour and have all been inspired by his work - in particular, his work in an area of moral philosophy known as 'population ethics', which is concerned with moral issues raised by causing people to exist. Until Parfit began writing about these issues in the 1970s, there was almost (...) no discussion of them in the entire history of philosophy. But his monumental book 'Reasons and Persons' (1984) revealed that population ethics abounds in deep and intractable problems and paradoxes that not only challenge all the major moral theories but also threaten to undermine many important common-sense moral beliefs. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

We here attempt to address certain criticisms of the philosophical import of the so-called Brazilian approach to paraconsistency by providing some epistemic elucidations of the whole enterprise of the logics of formal inconsistency. In the course of this discussion, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the Aristotelian traditions can be accommodated within the precepts of the Brazilian school of paraconsistency.

This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, equivalential and algebraizable. By introducing new categories of algebrizable logics and of deductivizable quasi-varieties, it is stated an isomorphism between these categories. This constitutes an alternative to a similar result found in the literature.

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

O ceticismo acadêmico se encontra utilizado na formulação dos preceitos epistêmicos para a reformulação da ciência, nas _Règles Pour La Direction De L’Esprit _ ( 1701, Amsterdam, texto póstumo e inacabado). O probabilismo de Carnéades, compreendido como o principal vetor do ceticismo acadêmico na modernidade, fundamenta a certeza. Outras teses para a correção epistêmica do espírito parecem advir da tradição acadêmica, como a de fi nição de _science _ como _sagesse_, por exemplo ( _Règle _ _I_ ). Desse modo, a (...) busca da verdade (coordenada principal das _Règles_, como nos evidencia a _Règle _ _IV_ ) não abdica do ceticismo. Tratar-se-á, neste artigo, de compreender que o probabilismo acadêmico aparece no projeto de busca da verdade das _Règles _ de modo negativo _, _ pois Descartes ataca a modalidade do provável. Outros tópicos acadêmicos aparecem em questão, como a busca de sabedoria, a mitigação da dúvida, a disciplina do assentimento pela recusa do provável e a verdade do fi deísmo _. _ Estes tópicos se resumem ao método acadêmico, de fi nido pela recursividade epistêmica. (shrink)

Historia del derecho: un intento de definición -- Positivismo, historiograf ia positivista e historia del derecho -- Escuela de los Annales e historia del derecho -- El materialismo hist orico y la historia del derecho -- La historia en el derecho y la verdad en el proceso: el argumento de Michel Foucault -- Michel Foucault y el discurso histórico-jurídico: Estado y poder -- Walter Benjamin, la temporalidad y el derecho.

The field of Philosophy of Sport has been developing in Anglo-Saxon scholarship since the 1960s and since then has achieved considerable consolidation. However, this is a progressing field in Latin American countries like Brazil. This paper aims to analyse the trajectory of the Philosophy of Sport in Brazil, presenting an overview of its development since the 1980s and some prospects that have been generated since the turn of the century. In conclusion, the article points out that the field of Philosophy (...) of Sport in Brazil is in the process of disciplinary consolidation, presenting a plurality of agents, institutions and theoretical approaches in its structure. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

This volume corresponds to the Proceedings of the XIII Brazilian Logic Conference held at the CLE - Centre for Logic, Epistemology and the History of Science in Campinas, SP, Brazil from May 26-30, 2003 under the auspices of the SBL - Brazilian Logic Society and the ASL - Association for Symbolic Logic.

This paper defends that the both the Buddhist tradition and the Aristotelian allow us to think of the distinction between to reason with contradictions and to accept them, understanding ' accept a contradiction ' by taking it as consistent. From this viewpoint, none of two would disagree with most contemporary paraconsistent views. The conclusions are, thus, that, firstly, there is no compelling reason to endorse any kind of metaphysical dialetheism, and, second, that a coherent form of reasoning with contradictory statements (...) is neither opposed to the Aristotelian conception of logic, nor to certain texts in the Buddhist tradition, as the Madhyamikas. (shrink)

Neural networks are widely used in systems of artificial intelligence, but due to their black box nature, they have so far evaded formal analysis to certify that they satisfy desirable properties, mainly when they perform critical tasks. In this work, we introduce methods for the formal analysis of reachability and robustness of neural networks that are modeled as rational McNaughton functions by, first, stating such properties in the language of Łukasiewicz infinitely-valued logic and, then, using the reasoning techniques of such (...) logical system. We also present a case study where we employ the proposed techniques in an actual neural network that we trained to predict whether it will rain tomorrow in Australia. (shrink)

El artículo revisa los contenidos generales del Tratado Acerca de los elementos de Manuel Antonio Talavera, que es parte de los capítulos que estudian la Física especial en su obra Instituciones de Física. En ésta, se combinan las doctrinas de filosofía natural según las enseñanzas de los filósofos modernos, los nuevos datos empíricos generados a partir de los experimentos científicos y la autoridad de las Escrituras. Se intenta mostrar cómo en la enseñanza de la disciplina durante la última época colonial (...) convivieron conocimientos propios de la modernidad matizados con elementos característicos de la escolástica. Presentamos una breve nota biográfica del autor y revisamos desde una perspectiva general los principales aspectos del tratado. La intención es visibilizar el quehacer educativo de Talavera y rescatar parte del legado filosófico latinoamericano. (shrink)

Portuguese introduction to volume 2, issue 2.

Es para nosotros un gusto presentar el tercer número de la revista Études Ricoeuriennes/Ricoeur Studies (ERRS) dedicado a la reflexión ética de Paul Ricœur. .

El trabajo propone revisar una posible articulación entre memoria, archivo y tecnología. Considera estas nociones a la luz de algunos referentes teóricos canónicos y otros contemporáneos, más cercanos a los desafíos actuales. Reflexiona acerca del valor de uso que las denominadas TIC tienen para la construcción y circulación de archivos culturales, públicos o privados, en tanto artefactos visibles de políticas de memoria. Considera los límites de lo archivable, la condición de posibilidad del desarrollo de archivos en la Era Digitaly las (...) supuestas ventajas con respecto a los archivos analógicos. Esta confrontación ubica en el centro de la discusión la relación paradojal que promete la tecnología actual y futura: al tiempo que abre horizontes deslumbrantes, marca límites entre lo deseable y lo posible, e impone la necesidad de que cada comunidad se apropie de esa tecnología de manera activa y sustentable. (shrink)

The question of Palestine has remained the ultimate test for intellectual and political consistency. In this article we canvass the discrepancies between two opposing French intellectual traditions in relation to Palestine, and scrutinise them in relation to Israel's investments in political languages designed for external constituencies. The article concludes with an observation on how French feminist voices are today shaping the conversation about the Palestine question in progressive ways.

Este artigo contextualiza o nazismo como projeto de degradação da multiplicidade humana a partir da instrumentalização da língua alemã e consequentemente da linguagem como experiência humana. Tal contextualização se inicia apresentando os projetos amplamente conhecidos do nazismo, que se dão à sombra de Auschwitz, para, em seguida, partir à análise das observações de Victor Klemperer sobre a aplicação da LTI na sociedade alemã no período que envolveu o entreguerras e o final da Segunda Guerra Mundial, precisamente na cidade de Dresden, (...) onde Klemperer viveu e repensou sua condição judaica. Por meio do uso estratégico da linguagem, o nazismo interveio nos hábitos da sociedade alemã, o que implicou a adesão popular à ideologia do Terceiro Reich, bem como provocou a legitimação da reprodução do mal naquela sociedade, enquanto projeto pervertido de cidadania. Disso resulta uma compreensão biopolítica da linguagem, na medida em que se reconhece o nazismo como doutrina do fanatismo. (shrink)

La realidad aumentada permite la interacción del usuario con el mundo físico. Esto da la posibilidad de sustituir fantomas por modelos digitales. Se pretende determinar la funcionalidad de implementar tecnología de Realidad aumentada como recurso pedagógico para la asignatura de Anatomía General. Se entregará a los estudiantes una aplicación para teléfono móvil y un cuadernillo con imágenes. Con dicho teléfono visualizarán imágenes que se transformarán en imágenes de realidad aumentada que el estudiante manipulará a través de su teléfono. Los resultados (...) esperados se enfocarán en fomentar la inclusión de modelos de M-LEARNING dentro de la carrera y la Universidad. (shrink)

We exhibit several counterexamples showing that the famous Serrin's symmetry result for semilinear elliptic overdetermined problems may not hold for partially overdetermined problems, that is when both Dirichlet and Neumann boundary conditions are prescribed only on part of the boundary. Our counterexamples enlighten subsequent positive symmetry results obtained by the first two authors for such partially overdetermined systems and justify their assumptions as well.

The following article aims to draw a dialogue between the conception of Ethos present in the poet Patativa of the Assaré and the thought of the philosopher Manfredo Araújo de Oliveira. From the particularity to the universality, both thinkers theorize social ethos as an intrinsic characteristic of the subject. Patativa is a representative of the poetry of the Northeastern pantheon, while Manfredo Oliveira stands out for the power of synthesis and analysis of the main problems in the History of Philosophy. (...) Both thinkers show us how it is possible to philosophize in Portuguese or how it is possible to extract from the historical specificity the dilemmas of human complexity. This article, therefore, makes a reflection that starts from the popular literature to the Northeastern philosophical thought, presented as a guiding thread to ethics. (shrink)

O presente artigo tem o objetivo de analisar como Eric Weil entende a Educação com vistas à compreensão do ser humano no mundo. Pretende-se demonstrar que a Educação Moral, defendida por Eric Weil, é um caminho privilegiado, sine qua non, que auxilia o ser humano no enfrentamento da violência. Evidencia que o educador toma lugar de destaque nessa discussão, pois lhe cabe a responsabilidade de indicar os meios e os caminhos para a universalização, para que a não violência possa subsidiar (...) uma cultura de paz entre os seres humanos. Para tanto, percorre o caminho metodológico fazendo uma abordagem na ampla teoria filosófica de Eric Weil, em especial, nas obras: Lógica da filosofia e Filosofia política, a fim de analisar os pontos mais relevantes para ancorar a concepção de imprescindibilidade da Educação e, também, por sua vez, do educador. Esta pesquisa será eminentemente lastreada por levantamentos bibliográficos nas obras do próprio Eric Weil, bem como nos comentários de alguns de seus comentadores. (shrink)